package predicatesAndQuerys;

import logicaDePredicados.LogicPredicate;

import com.db4o.query.Predicate;
import logicaDePredicados.SkolemFunction;

public class RetrieveASkolemFunction extends Predicate<SkolemFunction<?,?>> {
	/**
	 * 
	 */
	private static final long serialVersionUID = 1L;
	private static SkolemFunction<?,?> toRetrieve;
	public RetrieveASkolemFunction (SkolemFunction<?,?> aSkolemFunction){
		super();
		toRetrieve=(aSkolemFunction);
		
	}
	@Override
	public boolean match(SkolemFunction<?,?> candidate) {
		
		return candidate.equals(toRetrieve);
	}

}
